AIDS-086587 AIDS086587 [3S-(3R*,4aR*,8aR*,2'S*,3'R*)]-2-[2'-Hydroxy-3'-phenylmethyl-4'-aza-5'-oxo-5'-(2''-propyl-3''-hydroxyphenyl)pentyl]-decahydroisoquinoline-3-N-t-butylcarboxamide