If you can find a specific compressor for just that format, it's probably going to be more efficient than any general-purpose compression tool. In the meantime, try bzip2, it's often more efficient than the ones you tried.
See also
Comparison of file archivers - Wikipedia, the free encyclopedia