Insulin signaling and FOXO regulate the overwintering diapause of the mosquito Culex pipiens | Synapse