Human alpha-galactosidase catalytic mechanism 4. Product bound