(4aS,8aS)-2-{3-[(R)-5-Benzyl-2-oxo-3-(tetrahydro-pyran-4-yl)-pyrrolidin-1-yl]-2-hydroxy-propyl}-decahydro-isoquinoline-3-carboxylic acid, tert-butylamide AIDS-088613 AIDS088613