3-[3-((R)-3,5-Dibenzyl-2-oxo-pyrrolidin-1-yl)-2-oxo-propanoyl]-thiazolidine-4-carboxylic acid tert-butylamide AIDS-088652 AIDS088652