2',3'-Didehydro-2',3'-dideoxythymidine-5'-[D-alaninyl]phosphate 5'-(D-Ala)d4TMP AIDS-033401 AIDS033401