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