2,2,2-Trichloro-4-propyl-1,3,2lambda~6~-dioxatellurolane ammoniate AIDS-157223 AIDS157223 NSC635811