PURPOSE: Randomized phase II/III trial to compare the effectiveness of mitoxantrone and prednisone with or without leflunomide in treating patients who have stage IV prostate cancer that has not responded to hormone therapy.