Cold war era Czechoslovak spy, who worked in London under the assumed identity of Erwin van Haarlem