Wenzel, Heiliges Römisches Reich, König