pyrrolidine-3,4-dicarboxylic acid