Methyl-substituted cycloSal-pronucleotides of d4TMP were synthesized with high diastereoselectivities in satisfying chemical yields. The individual diastereomers were tested against HIV-1 and HIV-2 infected wild-type CEM/0 and HIV-2 infected thymidine kinase deficient CEM cells. All diastereomers tested showed significant antiviral activity in CEM/0 and strong activity in CEM/TK(-) cell cultures. The antiviral activities were strongly dependent on the chirality at the phosphate group and the position of the methyl-group(s) in the cycloSal moiety. In CEM/TK(-) cell cultures the difference in antiviral potency was found to be 7- to 20-fold. The stability of each diastereomer was studied in aqueous phosphate buffer and in CEM/0 cell extracts. Large differences in the half-lives were found. A comparison of the relative lipophilicity of the methyl-substituted cycloSal triesters was performed based on the retention times obtained by reversed phase HPLC. The results obtained clearly confirm the importance of a diastereoselective synthesis of cycloSal-pronucleotides.