Zpravodajové generála Píky a ti druzí - Benčík, Antonín