Synthesis of the HIV Integrase Inhibitor Raltegravir Potassium (Synfacts, 2011)