Regioselective synthesis and antimicrobial screening of novel ketocarbazolodispiropyrrolidine derivatives.