In this paper we prove the Iwasawa main conjecture for the Rankin-Selberg product of a general modular form and a CM form of higher weight. This result has been used by others to prove the converse of the theorem of Gross-Zagier and Kolyvagin, and the BSD formula for elliptic curves of analytic rank one.