11. Which one of the following is also known as an antidiuretic hormone?