(4aS,8aS)-2-(3-{(R)-5-Benzyl-3-[2-(tert-butoxymethyl-amino)-ethyl]-2-oxo-pyrrolidin-1-yl}-2-hydroxy-propyl)-decahydro-isoquinoline-3-carboxylic acid tert-butylamide AIDS-088617 AIDS088617