Proper holomorphic mappings between hyperbolic product manifolds