Derivatives of Esculentin-1 Peptides as Promising Candidates for Fighting Infections from Escherichia coli O157:H7