Wenn Dein TV kein Mpeg oder TS erkennt, kann ich mir nicht vorstellen, das er Divx geschweige DivxHD abspielen kann, aber soweit ich weiss, kannste das mit dem DivxPlus8:
VideoReDo wäre eine Möglichkeit, da Du hier zwischen verschiedenen Ausgabeformaten auswählen kannst. Hier Im Board existiert auch eine Testversion, leider hab ich sie auf die Schnelle nicht gefunden. Aber schau mal hier: