Gastroscopic and histologic appearance of the gastric mucosa before and after vagotomy for peptic ulcer.