Mice transgenic for human angiotensin-converting enzyme 2 provide a model for SARS coronavirus infection