The hormone vasopressin, produced in connection with the posterior pituitary and important for kidney regulation, is usually known by what three-letter abbreviation?