Text this: A Practical Approach to Bicyclic Carbamoyl Pyridones with Application to the Synthesis of HIV-1 Integrase Strand Transfer Inhibitors