4',5'-Didehydro-5'-deoxy-5'-fluoroadenosine AIDS-113928 AIDS113928 AVS-6440