Auto da Barca do Inferno, de Gil Vicente – O Frade