Rational design, synthesis and SAR of HIV-1 integrase Inhibitors