Porcine gastric insulin.