Strategies in the design of prodrugs of anti-HIV agents.