Atomistic mechanism of proton conduction in solid CsHSO4 by a first-principles study