2',3'-Dideoxy-2',3'-didehydrooxanosine AIDS-088866 AIDS088866 D4-Oxanosine