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