pyrrolidine-2,5-dicarboxylic acid