Search for heavy neutrinos mixing with tau neutrinos