7-Zip compression format.
