The virulence of strains of Bacterium coli for mice.