Convergence of Preconditioned Hamiltonian Monte Carlo on Hilbert Spaces