Identification of the sex pheromone of an ant,Formica lugubris (Hymenoptera, Formicidae)