安定なセレノシステイン由来セレネン酸を用いた GPx1 および GPx4 の触媒サイクルに関するモデル研究