Hybrid Transfer Reinforcement Learning: Provable Sample Efficiency from Shifted-Dynamics Data