Three-dimensional model of the retroviral intasome and chemical structures of some of the clinical HIV-1 integrase inhibitors studied in the lab