Quinolone carboxylic acids as a novel monoketo acid class of human immunodeficiency virus type 1 integrase inhibitors.