Oxidation of carbon tetrachloride, bromotrichloromethane, and carbon tetrabromide by rat liver microsomes to electrophilic halogens.