Mice were kept in a specific pathogen-free facility in barrier-top cages.