Gál, István: irodalomtörténész