Discovery of Potent Antagonists of the Interaction between Human Double Minute 2 and Tumor Suppressor p53