y el 3,3-azetidinodiol.