A.A. Agrachëv, N.N. Shcherbakova, Hyperbolicity of Hamiltonian systems of negative curvature