Patio de Santo Tomás de Villanueva, Colegio Mayor de San Ildefonso