Mpro inhibitors of SARS-CoV-2