Diminazene aceturate: an antibacterial agent for Shiga-toxin-producing Escherichia coli O157:H7