Pirenzepine and gastric mucus.