(4.alpha.,5.alpha.,6.beta.,7.beta.)-3-[[3-[(3-Methoxyphenyl)methyl]hexahydro-5,6-dihydroxy-2-oxo-4,7-bis(phenylmethyl)-1H-1,3-diazepin-1yl]methyl]-N-2-pyridinylbenzamide AIDS-057012 AIDS057012 Cyclic urea deriv.