Synthesis and activity of an octapeptide inhibitor designed for SARS coronavirus main proteinase