Lang conjecture on analytically hyperbolic varieties