Dizionario biografico degli Italiani.