Constraints from the CHARM experiment on heavy neutral leptons with tau mixing