Protonation/reduction dynamics at the [4Fe–4S] cluster of the hydrogen-forming cofactor in [FeFe]-hydrogenases