Computational design of an ultrapotent deltacoronavirus miniprotein inhibitor. | Synapse