(Dimethoxy-thiophosphoryl)-acetic acid AIDS-085812 AIDS085812