Factorization of proper holomorphic mappings through Thullen domains