Probabilmente il file e' .mov , cioè in formato Quicktime.
Devi usare uno dei mille programmi di compressione video e convertirlo in un formato più umano, non HDMI (quindi a risoluzione minore) e compresso con DivX, Xvid, Mpeg4 o qualcosa del genere.
Come programma per farlo ti hanno gia' consigliato Avidemux, altrimenti puoi provare FFMpeg .
In effetti e' vero... spesso si confonde HDMI con "Video in HD" o HDTV (full o no).
Per cultura:
HDMI
Full HD