"nur" eine mp4-Audiodatei ist gut ^^
Du könntest alle zehn Trilliarden Packprogramme ausprobieren, sie würden aber niemals ein mp4 in z.B. mkv umwandeln
Für den PC reicht ja der von Draalz erwähnte VLC.
Falls Du USB direkt an das TV hängst, solltest Du vorher nachsehen, ob Dein TV auch mp4 kann. Eventuell schafft ein firmwareupdate Abhilfe.
Gleiches gilt für etwaige Media-Streamgeräte.