3-((5-Thioxo-2-pyrrolidinyl)carbonyl)-1,3-thiazolidine-4-carboxylic acid 3-L-(5-Thioxo-L-propyl)thiazolidine-4-carboxylic acid AIDS-147847 AIDS147847 NSC678120