PKD1 and autosomal dominant polycystic kidney disease: Unlike the preceding three ADPKD models, Cre/loxP recombination is not required to induce Pkd1 mutation, and these mice develop significant renal fibrosis.