3-[3-(S)[[3-Tetrahydropyranyloxy]carbonyl]amino]-4-phenyl-2(R)-hydroxybutyl]-N-(1,1-dimethylethyl)-3-decahydroisoquinolinecarboxamide AIDS-004509 AIDS004509 IsoquinCON cyclohex urethane analog