Improved separation of human pepsins from gastric juice by high-performance ion-exchange chromatography