在三角形ABC中,角A=30度,角B=45度,AB=4 则三角形ABC的面积是