Targeting SARS-CoV-2 with AI- and HPC-enabled Lead Generation: A First Data Release