Effect of histamine on the protein and mucus content of gastric juice