(4aS,8aS)-2-[3-((S)-3,5-Dibenzyl-1,1-dioxo-1,2,5-thiadiazolidin-2-yl)-2-hydroxy-propyl]-decahydroisoquinoline-3-carboxylic acid tert-butylamide AIDS-088626 AIDS088626