NKX3-1 and prostate carcinoma: The Nkx3.1;Pten mutant mouse model resembles that of human prostate cancer progression in which spontaneous PIN lesions form and progress to adenocarcinomas and eventually hormone refractory tumors upon androgen deprivation.