Probably/possibly ARJ format. Need to be unpacked first then burned to ISO. You've got a long job ahead and much disk space needed!