Theuderich IV., Fränkisches Reich, König