消毒用エタノールとは何か