The hyperbolic Ax-Lindemann-Weierstrass conjecture