José Miguel Infante, Procurador General.