Cerebral infection with Escherichia coli O157:H7 in humans and gnotobiotic piglets.