Human SARS-CoV-2 spike protein RBD mutation K417N