HIV-1 integrase strand-transfer inhibitors: Design, synthesis and molecular modeling investigation