Structure-guided covalent stabilization of coronavirus spike glycoprotein trimers in the closed conformation