Mechanism of anti-HIV action of masked alaninyl d4T-MP derivatives