Structure of SARS coronavirus spike receptor-binding domain complexed with its receptor