Massive-scale biological activity-based modeling identifies novel antiviral leads against SARS-CoV-2