Synthesis and in vitro anti-HIV activities of didanosine prodrugs