Pepsin from porcine gastric mucosa