An interesting question: normally we want to do it the other way round! Have a go with ffmpeg or mencoder. I know they should be able to read the quicktime, but whether they can output tif sequences i'm not sure. What you may have to do is output a yuv stream, then pipe that into yuvtoppm followed by ppm2tiff.