Československé bezpečnostní složky proti Rádiu Svobodná Evropa "Objekt ALFA" - Tomek, Prokop