diethyl 1-tosylpyrrolidine-2,5-dicarboxylate [ 93725-00-9 ]