I used Macromedia Fireworks. Every time I've done image optimizing, this program has always managed to produce the smallest file sizes for me, especially for animated GIFs