Cholesterol oxidase is required for virulence of Mycobacterium tuberculosis.