চার্লস চতুর্থ, পবিত্র রোমান সম্রাট