Antibody engineering improves neutralization activity against K417 spike mutant SARS-CoV-2 variants