A systematic exploration of boceprevir-based main protease inhibitors as SARS-CoV-2 antivirals