二酸化炭素を用いたN-アシルイミンの電気カルボキシル化:置換α-アミノ酸へのアクセス | Synapse