Structure of SARS main protease bound to inhibitor X47