AIDS-089071 AIDS089071 [3S-[2.alpha.S*(1R*,2R*),2R*]],3.alpha.,4a.beta.,8a.beta.]]-N-[1-[[[(1H-Benzimidazol-2-yl)ethyl]amino]carbonyl]-2-methylbutyl]-3-[[(1,1-dimethylethyl)amino]carbonyl]octahydro-.gamma.-hydoxy-.alpha.-(phenylmethyl)-2(1H)-isoquinolinepentamide