PKD1 and autosomal dominant polycystic kidney disease: However, Pkd1-KO mice develop a rapidly fatal form of PKD; thus, this model does not fully recapitulate the dynamics of human ADPKD progression.