Bem, o seguinte testei com base nos exemplos que encontrei no google e pareceu funcionar. Isso não resolveu meu problema, e produziu um vídeo suave, como eu pensei que seria, mas fez o que minha pergunta original visava.
ffmpeg -i %1 -r 24 -c:v rawvideo -c:a pcm_s16le -f avi pipe:1 | ffmpeg -i - -r 25 -c:v mpeg2video -q:v 4 -c:a mp2 -b:a 192k "%~nx1.vob"
Este comando pegou o arquivo de entrada% 1, que era de 30 fps e o converteu para 24 fps, e então canalizou os quadros descompactados e o áudio descompactado para outra instância do ffmpeg, que os converteu em 25 fps em mpeg2video e mp2 de áudio. p>