(Z)-9-[(4-Phosphonobut-3-enyl)oxy]adenine AIDS-028277 AIDS028277