3-[3-((R)-5-Benzyl-2-oxo-3-propyl-pyrrolidin-1-yl)-2-oxo-propanoyl]-thiazolidine-4-carboxylic acid tert-butylamide AIDS-088654 AIDS088654