Regulation of hypoxia-inducible factor 1α is mediated by an O 2 -dependent degradation domain via the ubiquitin-proteasome pathway | Synapse