(3S,4aS,8aS)-N-(tert-Butyl)-2-[(2R,3S)-3-({[(3S)-1,1-dioxidotetrahydro-3-thienyl]carbonyl}amino)-2-hydroxy-4-phenylbutyl]decahydroisoquinoline-3-carboxamide AIDS-045232 AIDS045232 ThienCONH, Isoquin-CONH deriv.