Theoretical modeling of enzyme reactions: the thermodynamics of formation of compound 0 in horseradish peroxidase.