How to export DVX codec on Mac

Hello everyone, I've designed some LED video panels for a client in After Effects, but their supplier specifications ask for a .MOV video with DVX codec. I honestly haven't heard of DivX in 15-20 years and thought the format was dead...

A quick search led me to the official www.divx.com website, that provides a free app to convert video files into DVX format. The installer for the app however is not signed and I don't feel comfortable bypassing Mac OS security (also on Trustpilot it's mentioned that the Windows installer too gets flagged as malware). All in all the website is pretty sketchy.

I found another alternative in https://resolume.com which provide a free converter, and while they look like a serious and professional developer, the converter is bundled with their other applications that I'd rather not install on my work machine.

Does anyone know of a free and safe way to encode or convert into DVX in 2025? Thank you so much!