Crystal structure of SARS-CoV-2 main protease in complex with Mp-4D7