CTNNB1 and hepatocellular carcinoma: SV40, Mst1/2 KO, Sav1 KO, and Ctnnb1 mouse models best recapitulated the poor prognostic subtypes of human HCC that is high-proliferation and high-recurrence subtypes.