Galantamine and Choline usage does promote lucid dreaming, I have written a blog entry about this before, however have you experimented with it before waking back up? As in, when you first go to bed so it has time to absorb and work into your system.
I have not tried this...I herd doing so makes it harder to sleep...