Reproductor divx con hdmi tienes el Peekton que sale a muy buen precio Aquí
De todas formas en el foro tienes muchas mas opciones como pueden ser el Oppo, Samsung, Pioneer, Panasonic...etc. Personalmente te aconsejaria un reproductor con HDMI que NO tenga el chip Faroudja (Oppo, Panasonic, Marantz,Denon) ya que en paneles LCD suele producir defectos digitales tales como el Macroblocking.
Otra opcion es comprarte un reproductor divx con buena salida por componentes (Y, Pb, Pr) con escaneo progresivo de la imagen que tambien aprovechará las cualidades del LCD.