The antidiuretic hormone controls water permeability in the collecting ducts of the kidney by regulation of which of the following water channels?