Vaccine makers could make Omicron-specific booster, says Fauci