2,4-Pyrrolidinedicarboxylic acid, 2-(2-methylpropyl)-5-(2-thienyl)-1-[4-(trifluoromethyl)benzoyl]-, (2S,4S,5R)-(+)- AIDS-059752 AIDS059752