Identification of spiropyrrolidinoxindoles as SARS-CoV-2 main protease inhibitor hits from virtual screening