Convert & downsample mpeg to animated gif?

I need to resize an mpeg file down to a smaller size (from 720p to 640x480 with letterbox borders) and convert the final product to an animated gif programmatically. How can this be done most efficiently? I need to resize an mpeg file down to a smaller