Ferdinand IV., Heiliges Römisches Reich, König