“B.1.351 seems to evade the Lilly monoclonal outright, although the two-antibody Regeneron cocktail still seems effective as that mixture.”