Engineering human ACE2 to optimize binding to the spike protein of SARS coronavirus 2 | Synapse