list the total number of awards of the musicals who have won tony award for best direction of a musical ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_award dbr_Tony_Award_for_Best_Direction_of_a_Musical sep_dot var_x dbo_award var_uri brack_close