Converting 1080i 30fps to 1080i 25fps

[Bencuri]

In another thread we discussed how to convert my mp4s that are in 1080i 30 fps (60i accoarding to the camcorder, but some of you checked it, and the file is actually only 30fps) to 25fps PAL DVD format with HC GUI. The results are quite fine. This was that thread:

https://forum.videohelp.com/threads/345774-How-to-convert-from-60fps-to-25fps-to-get-continuous-video

MY question this time is how could I convert the Full HD 30fps mp4 to 25fps Full HD mp4 or mpeg? All I want is just to change the framerate, everything else would stay original. This was the script that I used for the project for HCGUI:

Import("C:\Program Files\AviSynth 2.5\plugins\SmoothFPS2.avs")
Load_Stdcall_plugin("C:\Program Files\AviSynth 2.5\plugins\yadif.dll")

DirectShowSource("2.MP4", seek=false)
AssumeTFF()
AssumeFPS(30000,1001)
Yadif(mode=1, order=1)
LanczosResize(720,576)
SmoothFPS2(50,1)
SeparateFields()
SelectEvery(4,0,3)
Weave()

If I change the resolution in LanczosResize, HC Gui warns me that the format is not DVD compliant. So what can I do, then? Can I use HCGUI for this purpose at all? IF not, what software should I use?

I have attached a sample that should be converted.