(4R,5S,6S,7R)-Hexahydro-5,6-dihydroxy-1,3-bis[[3-(1,2,4-triazolyl)phenyl]methyl]-4,7-bis(phenylmethyl)-2H-1,3-diazepin-2-one AIDS-059587 AIDS059587 Diazepine cyclic urea deriv.