Structure of the HIV-1 integrase catalytic domain complexed with an inhibitor: A platform for antiviral drug design | Synapse