(4aS,8aS)-2-{3-[(R)-5-Benzyl-3-(2,3-dihydroxy-2-methyl-propyl)-2-oxo-pyrrolidin-1-yl]-2-hydroxypropyl}-decahydro-isoquinoline-3-carboxylic acid tert-butylamide AIDS-088608 AIDS088608