Diterpenes from the rhizomes of Alpinia formosana