Construction of New Medicines via Game Proof Search