Crystal structures of the SARS-coronavirus main proteinase inactivated by benzotriazole compounds