在三角形ABC中,a=4,b=4倍根号3,C=30°,求S三角形ABC.