US7872004B2 - 6-(heterocyclyl-Substituted Benzyl)-4-Oxoquinoline Compound and Use Thereof as HIV Integrase Inhibitor