Benito, Obispo de Avila, cf.