Exploration of the binding mode of HIV-1 integrase strand transfer inhibitors through different computational approaches.