What is the correct formula for dicarbon tetrahydride?