(Diethoxy-thiophosphoryl)-acetic acid AIDS-085813 AIDS085813