To MP4V, or to DX50, or not to be
If it's just a matter of which FOURCC to assign, and not the codec, then choose MP4V since it has broader compatibility, and the tag can always be changed later, using a tool like ffmpeg i.e.

ffmpeg -i input.avi -c copy -map 0 -vtag DX50 tagged.avi