Synthesis and anti-HIV activity of oleanolic acid derivatives.