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