NKX3-1 and prostate cancer: The NPp53 (Nkx3.1-CreERT2/+; Ptenf/f; p53f/f) genetically engineered mouse model with combined inactivation of Pten and p53 can be used to model human castration-resistant prostate cancer [35].