gand-protease structures solved by X-ray crystallography led to the identification of 3 and 4. Preclinical experiments reveal 4 (PF-00835231) as a potent inhibitor of CoV