2,4-pyrrolidinedicarboxylic acid