(Z)-9-(4-Phosphonobut-3-enyl)guanine AIDS-057712 AIDS057712