I’m not sure what options VLC offers. But I would expect .mp4 file with AVC (h.264) video and AAC audio would be very compatible. Also, you might want to choose a high quality setting for the AVC (h.264) encoding to make sure you don’t loose quality in the compression.