The importance of cholinergic tone in the release of pancreatic polypeptide by gut hormones in man.