\[I_{\mu}\left(x\right)K_{\nu}\left(x\right)=\int_{0}^{\infty}J_{\mu\pm\nu}\left%
(2x\sinh t\right)e^{(-\mu\pm\nu)t}\,\mathrm{d}t,\]