Isolamento e caracterização protéica pelo método SDS-PAGE de estirpes de Bacillus thuringiensis Berliner, 1911, de diferentes áreas do Estado do Amazonas, e avaliação da toxicidade para Aedes aegypti (Linnaeus, 1762) (Diptera, Culicidae)