(2R,4S,5S)-5-(N^.alpha.-tert-Butoxycarbonyl-L-phenylalanyl-L-valyl)amino-6-cyclohexyl-4-hydroxy-2-methylhexanoate-n-butylamide AIDS-085947 AIDS085947