In early July, BA.5 became the dominant subvariant of the coronavirus circulating in the United States, but in October i