Embeddings of quantales into simple quantales

Every quantale can be embedded into a simple quantale and every involutive quantale can be embedded into a somple involutive quantale. The image satisfies an analog of the von Neumann bicommutant theorem.