Holomorphic isometries of the complex unit ball into irreducible bounded symmetric domains Mok, N. [PDF]