Convergence of a quantum normal form and an exact quantization formula