Analysis of the efficacy of HIV protease inhibitors against SARS-CoV-2′s main protease