(E)-9-[[2-(Hydroxymethyl)-4-phosphonobut-3-enyl]oxy]adenine AIDS-043523 AIDS043523