(Z)-9-(4-Phosphonobut-3-enyl)adenine AIDS-028280 AIDS028280