Lifting of automorphic forms on the units of a quaternion algebra to automorphic forms on the symplectic groups