Diminazene aceturate: an antibacterial agent for shiga-toxin-producing Escherichia coli O157:h7