AIDS-086573 AIDS086573 [3S-(3R*,4aR*,8aR*,2'S*,3'R*)]-2-[2'-Hydroxy-3'-phenylmethyl-4'-aza-5'-oxo-5'-(pyrid-3''-yl-N-oxidyl)pentyl]-decahydroisoquinoline-3-N-t-butylcarboxamide