При реставрации старого пола из широкой дубовой доски обнаружили в нескольких местах небольшие следы древоточца. Скажите, пожалуйста, годится ли для реставрации такая доска, какими средствами можно уничтожить древоточца, как замаскировать его следы? Какой антисептик желательно приобрести, и не вреден ли он для здоровья человека?