General scope of 1,4-diastereoselective additions to a 2(3H)-quinazolinone: practical preparation of HIV therapeutics.