Concise and Practical Asymmetric Synthesis of a Challenging Atropisomeric HIV Integrase Inhibitor.