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