The role of mucus in the protection of the gastroduodenal mucosa.