Ab initio study on the transition state of acylation step of trypsin catalysis.