HAVCR1 and Renal insufficiency: Homozygous Tsc1 KO in RPTCs increased albuminuria and urinary KIM-1 excretion and induced renal failure (Figures 4D–4H).