Trichoceros muralis, Lindl. (1833)