The effect of antidiuretic hormone on gastric secretion in man