AIDS-017566 AIDS017566 Decahydro-2-(1-hydroxycy-clohexylethynyl)-2-naphthol