AIDS-086588 AIDS086588 [2S-(2R*,2'S*,3'R*)]-1-[2'-Hydroxy-3'-(naphth-2-ylthiomethyl)-4'-aza-5'-oxo-5'-(2''-methyl-3''-hydroxyphenyl)pentyl]-piperidine-2-N-t-butylcarboxamide