no vayas a comprimir algo comprimido, el jpeg, el gif y el png son formator de compresion!
usar el photoshop con al opcion "wardar para web" es muy fácil y da un buen resultado.
el formato .gif es "privado" y se debería tener que pagar por su uso (hace año que ya no...) recomiendo energicamente el .png |