4,9:5,8-Dimethanonaphtho[2,3-d]-1,3-dioxole, 5,6,7,8-tetrachloro-3a,4,4a,5,8,8a,9,9a-octahydro-2,2-dimethyl- AIDS-125035 AIDS125035 NSC59457