AIDS-086575 AIDS086575 [3S-(3R*,4aR*,8aR*,2'S*,3'R*)]-2-[2'-Hydroxy-3'-phenylmethyl-4'-aza-5'-oxo-5'-(2''-methyl-3''-fluorophenyl)pentyl]-decahydroisoquinoline-3-N-t-butylcarboxamide