Acid diffusion into the human gastric mucosa.