Development of a prostate-specific PTEN/TP53 conditional double knockout mouse model of prostate cancer. Here, TP53 is linked to prostate carcinoma.