a question about covariation in stochastic integration

Question

Let H, K be bounded previsibe process. M, N be two local martingales. How can I prove $d<H.M, K.N>_t = H_tK_td<M,N>_t$

$<M>$ means the quadratic variation of M.

Thanks