ADCY1 and neoplasm: To further validate synthetic lethality between adenylate cyclase and FH, we used tumor cells harboring a germline mutation in FH, the UOK262 renal tumor cells, a metastatic cell line derived from an HLRCC patient [15].