Large-Scale Synthesis and Formulation of GMP-Grade Stampidine, a New Anti-HIV Agent