intercool aftercool subcool decool cryoquench supercool air-condition chill hydrodiffuse hydrodeoxygenate