Describir: Effects of High Hydrostatic Pressure and Beef Patty Formulations on the Inactivation of Native Strains of Shiga Toxin-Producing Escherichia coli O157:H7