AIDS-087260 AIDS087260 [S-(R*,R*)]-(1H-Pyrrolidine-2-carboxylic acid, 1,1'-[dithio-bis(2,1-phenylenecarbonyl)bis-carboxylic acid