A general-purpose compressed audio codec