2H-1,3-Diazepin-2-one, 1,3-bis(cyclopropylmethyl)-4,7-bis[(2,3-dihydro-1,4-benzodioxin-6-yl)methyl]hexahydro-5,6-dihydroxy-, (4R,5S,6S,7R)- AIDS-107138 AIDS107138