I look at MP4 and see some encoding with a thousand options.

I think HANDBRAKE does this well but given how these standards are not standards at all I can't guess if the MP4 would play on what you want.
Bob