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