ethylidenecyclooctane