Robert Mariner var en af de skickligaste agenterna vid den stora londonska hemliga polisen,