Vagotomy in the elective treatment of duodenal ulcer.