AIDS-057017 AIDS057017 Cyclic urea deriv. [4R-(4.alpha.,5.alpha.,6.beta.,7.beta.)-3-[[3-[(3-Aminophenyl)methyl]hexahydro-5,6-dihydroxy-2-oxo-4,7-bis(phenylmethyl)-1H-1,3-diazepin-1yl]methyl]-N-1H-benzimidazol-2-ylbenzamide