Rational design of 2-pyrrolinones as inhibitors of HIV-1 integrase.