2',3'-Dideoxyadenosine-5'-5'-(methoxythioxophosphino)formic acid AIDS-085831 AIDS085831 ddA/TPFA analog