Pepsinogens, pepsins, and peptic ulcer.