1-[3-((R)-3-Allyl-5-benzyl-2-oxo-pyrrolidin-1-yl)-2-hydroxy-propyl]-4-pyridin-3-ylmethyl-piperazine-2-carboxylic acid tert-butylamide AIDS-088599 AIDS088599