在三角形ABC中,a=4,b=4√3,角C=60°,则S三角形ABC=几