Petrus Wilhelmi de Grudencz (b. 1392) - a central European composer