Divácká Jiřina, Divácký Anton