Homotopy hyperbolic 3-manifolds are virtually hyperbolic