Design of Reversible, Cysteine-Targeted Michael Acceptors Guided by Kinetic and Computational Analysis