An Isomorphism Theorem for Holomorphic Mappings from Arithmetic Varieties of Rank ≥ 2 into Quotients of Bounded Domains of Finite Intrinsic Measure