Per esempio questo:
https://www.dvdstyler.org/en/

non l'ho provato, è il primo che mi è uscito con una ricerca, ma nella descrizione dice che supporta gli mp4.

Se non va bene, cerca "free authoring dvd software" e vedi cosa trovi.