Embedding AW*-Algebras as Double Commutants in Type I Algebras