Treatment of antibiotic-associated enterocolitis with vancomycin.