Establishing the Catalytic Mechanism of Human Pancreatic α-Amylase with QM/MM Methods