Randomized, controlled trial of antibiotic therapy for Escherichia coli O157:H7 enteritis.