Gravar-mail: Closing coronavirus spike glycoproteins by structure-guided design