ozone-depleting substance once used in extinguishers