Király, István: irodalomtörténész