Anti-HIV-1 activities of 1,3-dioxolane guanine and 2,6-diaminopurine dioxolane.