Mechanism of Anti-HIV Action of Masked Alaninyl 2 ,3 -Dideoxy-2 ,3 -Didehydrothymidine 5 -Monophosphate Derivatives