double agent (n.)
1935, from double (adj.) + agent (n.).