Modeling SARS-CoV-2 mutations and binding energies to design antibodies.