Insecticide design using in silico and in vivo analysis of different pharmacological targets in Aedes aegypti.