(3S,4aS,8aS)-N-(tert-Butyl)-2-((2R,3S)-2-hydroxy-4-phenyl-3-{[(3S)-tetrahydro-3-thienylcarbonyl]amino}butyl)decahydroisoquinoline-3-carboxamide AIDS-045230 AIDS045230 ThienCONH, Isoquin-CONH deriv.