Bacterial killing in gastric juice--effect of pH and pepsin on Escherichia coli and Helicobacter pylori.