Pestrokrovečník mravenčí (4)