A hypothetical mechanism for HIV-1 integrase catalytic action: DFT modelling of a bio-mimetic environment