(2R,4S,5S)-5-(N^.alpha.-tert-Butoxycarbonyl-3-(1-naphthyl)-L-alanyl-L-valyl)amino-6-cyclohexyl-4-hydroxy-2-methylhexanoate-n-butylamide AIDS-085948 AIDS085948