Hilbert manifold structure for asymptotically hyperbolic relativistic initial data