Proximal gastric vagotomy and mucosal antrectomy: a possible operative approach to duodenal ulcer.