Resolume comes with Alley, a free (as in beer) converter that will convert to DXV3 format, but it only supports input formats that Resolume does. If you install the HAP codec on the computer you get a FOSS codec that works great and is supported by FFMPEG. Works great in Resolume.