Synthesis and evaluation of isatin derivatives as effective SARS coronavirus 3CL protease inhibitors