Western blot analysis was carried out on extracted cell-culture and tumor samples,19 (link) and membranes were probed with primary antibodies against mouse HIF1α (1/800, AF1935), CAIX (1/800, AF2344), and β-actin (1/10,000) as loading control; all antibodies were from R&D Systems (Minneapolis, MN, USA). Secondary horseradish peroxidase-conjugated antibodies were from Agilent Technologies (Santa Clara, CA, USA). Protein bands were quantified using Alliance 2.7 software (Uvitec, Cambridge, UK) and the protein of interest normalized against a positive control (hypoxia-treated LL/2 whole-cell lysate) following confirmation of equal loading using β-actin.