AIDS-212043 AIDS212043 Cyclopropa[d]naphthalene-7-methanol, decahydro-a,a,4a-trimethyl-