The surgical therapy of duodenal ulcer.