Isotypic Projections with the Lanczos Iteration