AIDS-185579 AIDS185579 Decahydro-1,6-methano-naphthalene