工业萘可用于制取( )。