Let A be an abelian category and B be the Happel-Reiten-Smalo tilt of A with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between A and B, which is compatible with the inclusion of B into the derived category of A. As applications, we obtain new derived equivalences related to splitting torsion pairs, TTF-triples and two-term silting subcategories, respectively. We prove that for the realization functor of any bounded t-structure, its denseness implies its fully-faithfulness.