1008-17-9 alpha-Ethyldecalin