Costs of Attorney Disciplinary Proceeding Not Dischargeable