2-[3-[3-(S)-[[(2-cis-Butyl-1,1-dioxotetrahydrothienyloxy)carbonyl]amino]-4-phenyl-2(R)-hydroxybutyl]]-N-(1,1-dimethylethyl)decahydro-3-isoquinolinecarboxamide AIDS-006130 AIDS006130 IsoquinCON thienyl urethane analog