NBC: Former cyber official targeted by Trump quits company over move