String theory and the Donaldson polynomial