Proximal gastric vagotomy and mucosal antrectomy: effect on gastric acid secretion, plasma gastrin, and experimental ulcerogenesis in the dog.