Covalent Inhibition of Thioredoxin Reductase by Michael Acceptors: Rational Design, Synthesis, and Biological Evaluation of Oxazol-5(4H)-one Derivatives | Synapse