9-[4-(Dibromomethyldiphosphonyl)oxyphosphonylmethoxy)cyclopent-2-enyl]adenine AIDS-115903 AIDS115903