血液性大腸炎患者から分離されたEscherichia coli O157:H7を研究するための動物モデル