What is methanoic acid used for?