1-S-Dodecyl-sn-thioglycero-3-phosphonoformate AIDS-093085 AIDS093085