(4R,5S,6S,7R)-Hexahydro-5,6-dihydroxy-1,3-bis(cyclopropylmethyl)-4,7-bis(.beta.-2-naphthylmethyl)-2H-1,3-diazepin-2-one 1,3-Diazepin-2-one deriv. AIDS-031639 AIDS031639