Antibiotics and plasma cholesterol in the mouse.