(4aS,8aS)-2-[3-((R)-5-Benzyl-2-oxo-3-pyridin-3-ylmethyl-pyrrolidin-1-yl)-2-hydroxy-propyl]-decahydro-isoquinoline-3-carboxylic acid tert-butylamide AIDS-088622 AIDS088622