Gnotobiotic piglet infection model for evaluating the safe use of antibiotics against Escherichia coli O157:H7 infection.