Lethality of SARS-CoV-2 infection in K18 human angiotensin-converting enzyme 2 transgenic mice