Establishing the catalytic mechanism of human pancreatic α-amylase with QM/MM methods.