Enzymatic Transition State Theory and Transition State Analogue Design*