CoV-1 3CLpro employing ligand-protease structures solved by X-ray crystallography led to the identification of 3 and 4. Preclinical experi