Genetic and pharmacological validation of synthetic lethality between adenylate cyclases and FH in the HLRCC-patient derived cell line UOK262. Here, ADCY1 is linked to hereditary leiomyomatosis and renal cell cancer.