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