Hydrogen dynamics in solid formic acid: insights from simulations with quantum colored-noise thermostats