2',3'-Didehydro-3'-deoxythymidine, 5'-propyl phosphonate AIDS-185257 AIDS185257