Pepsins and the mucus barrier in peptic ulcer disease.