pH dependence of hydrochloric acid diffusion through gastric mucus: correlation with diffusion through a water layer using a membrane-mounted glass pH electrode.