2',3'-Dideoxyinosine-5'-(methoxythioxophosphino)formic acid AIDS-085832 AIDS085832 ddI/TPFA analog