(4R,5S,6R,7S)-Hexahydro-5,6-dihydroxy-1,3,4,7-tetrakis(phenylmethyl)-2H-1,3-diazapin-2-one AIDS-071816 AIDS071816