The catalytic mechanism of HIV-1 integrase for DNA 3'-end processing established by QM/MM calculations.