Structure of mouse coronavirus spike protein complexed with receptor reveals mechanism for viral entry