(4.alpha.,5.alpha.,6.beta.,7.beta.)-3,3'-[[Tetrahydro-5,6-dihydroxy-2-oxo-4,7-bis(phenylmethyl)-1H-1,3-diazepine-1,3(2H)-diyl]bis(methylene)]N-2-pyrazinylbenzamide AIDS-057003 AIDS057003 Cyclic urea deriv.