AIDS-180083 AIDS180083 N.alpha.-isobutyl-N.alpha.-(4-methylbenzenesulfonyl)-N.epsilon.-[N'.alpha.-(benzenesulfonyl)-4-trans-hydroxy-L-prolyl]-L-lysine