在四边形ABCD中,角A=135度,角B=角D=90度,BC=4倍根号3,AD=4,求ABCD的面积