The AviSynth script (for 29.97->25):
AVISource("sourcevideo.avi") # replace with actual source filter/source used
AssumeFPS(30000,1000,sync_audio=true).SSRC(48000,fast=false) # I'm assuming that the audio is 48kHz, and stereo. For multichannel, you may need to do resampling using BeSweet or WaveWizard.
Decimate(6)
Spline64Resize(720,400) # I'm going with mod16 here; modify as necessary if you want
ConvertToRGB32() # standard precaution if you're going to edit this in Premiere, as many NLEs work internally in RGB or other weirdness can pop up on export, etc.
Basically, that speeds it up to 30, which is marginal on the sound and probably inaudible, and then takes out every 6th frame.