(E)-9-[(4-Phosphonobut-3-enyl)oxy]adenine AIDS-028522 AIDS028522